A Facility for Real-Time Program Development
نویسندگان
چکیده
منابع مشابه
Computer-aided Development of a Real-time Program Computer-aided Development of a Real-time Program
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript les are available via Abstract The reenement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how reen...
متن کاملAdding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
متن کاملComputer-aided development of a real-time program
The refinement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how refinement theory and tool support can be extended for a program with real-time constraints. The approach adapts a timed variant of the refinement calculus and makes corresponding enhancements to...
متن کاملDevelop a ‘real-time’ emissions monitoring strategy for your facility
T o improve air quality, states and localities are requiring more intense 24/7 monitoring of listed air pollutants from hydrocarbon processing facilities. Affected facilities must develop reliable and accurate environmental data management systems for reporting purposes. In this case history, the BP Texas City site (a refinery and chemicals plant) successfully implemented a real-time environmen...
متن کاملSimulation of a Neutron Detector for Real Time Imaging Applications
Monte Carlo Method is used to simulate a double layer gadolinium-amorphous silicon thermal neutron detector. The detector fabricated in pixel array configuration has various applications including neutron imaging. According to the simulation results, a detector consisting of a gadolinium (Gd) film with thickness of 2-4 ~m, sandwiched properly with two layers of sufficiently thick (-30 ?µm) hydr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1972
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/15.1.5